Convex sets of some doubly stochastic matrices

Let Ω denote the set of all n by n doubly stochastic matrices. Let t be a real number such that $\text{1}\text{t}\text{?}\text{1}\text{n}$ and let m be a real number such that $\text{1}\text{m}\text{? 1 ?}\text{1}\text{t}$. The set $\text{Ω}{}_{\mathrm{s}}\text{= {A ? Ω :}\text{1}\text{m}\text{? a}{}_{\mathrm{ij}}\text{?}\text{1}\text{t}\text{, 1 ? i, j ? n}}$ is the convex hull of the matrices in $\text{Ω}{}_{\mathrm{s}}$ having as many largest entries, namely, $\text{1}\text{t}$, as possible in each row and column while filling out the remaining entries with the value $\text{1}\text{m}$ and if necessary at most one entry in each row and column which has a value between $\text{1}\text{m}$ and $\text{1}\text{t}$.     

Applications of micro-analysis to individual environmental particles

An overview is given of the recent applications of micro-analytical techniques to single particle environmental research performed at the University of Antwerp since 1990. Automated electron probe X-ray micro-analysis, laser microprobe mass spectrometry and micro-particle induced X-ray emission are the techniques most used for aerosol, aqueous suspension and sediment characterisation. Other techniques like scanning transmission electron microscopy, electron energy loss spectroscopy, Fourier transform infra red microscopy and secondary ion mass spectrometry have only recently been implemented into environmental research.     

Tableau method for residuated logic

Residuated logic is a generalization of intuitionistic logic, which does not assume the idempotence of the conjunction operator. Such generalized conjunction operators have proved important in expert systems (in the area of Approximate Reasoning) and in some areas of Theoretical Computer Science. Here we generalize the intuitionistic tableau procedure and prove that this generalized tableau method is sound for the semantics (the class of residuated algebras) of residuated propositional calculus (RPC). Since the axioms of RPC are complete for the semantics we may conclude that whenever a formula 0 is tableau provable, it is deducible in RPC. We present two different approaches for constructing residuated algebras which give us countermodels for some formulas φ which are not tableau provable. The first uses the fact that the theory of residuated algebras is equational, to construct quotients of free algebras. The second uses finite algebras. We end by discussing a number of open questions.     

The dichlorovinylation of enolates

The condensation of certain ketone and ester enolates with trichloroethylene proceeds with surprising ease to yield dichlorovinylation products. The $\text{trans}$ stereochemistry for one such product is established by X-ray, and subsequent transformations of these initial products to ethinyl or ω-chloroethinyl derivatives is described.     

Rotating ring-disk electrode studies of the reaction of stable radical cations with styrene and isobutyl vinyl ether

An electroanalytical technique has been utilized in a new method for the study of reactive intermediates in polymerization reactions. A ring-disk electrode system generated persistent carbocation radicals whose stability decreased in the order: 1,3,6,8-tetraphenylpyrene (TPP), rubrene (Ru), 9,10-diphenylanthracene (DPA), and 9,10-dimethylanthracene (DMA). Radical cations from these parent compounds flowed to a collecting ring which was controlled potentiostatically to reduce unreacted cations. When styrene or isobytyl vinyl ether was added to the solution, the concentration of carbocation radicals reaching the electrode was reduced. Current collection efficiencies N were determined as a function of rotation speed ω for each monomer concentration. Plots of N^?1 as ω^?1 in the absence of monomer show no dependence on ω (indicative of stable intermediates), but a linear dependence is found with each concentration of monomer. This indicates a first-order dependence on radical cation concentration. The rate constants show a trend in cation reactivities which is in agreement with that obtained by other methods. This technique, however, extends the range of investigation to a much shorter time scale.